Indexed induction–recursion

Indexed Squares

We study some combinatorial principles intermediate between square and weak square. We construct models which distinguish various square principles, and show that a strengthened form of weak square holds in the Prikry model. Jensen proved that a large cardinal property slightly stronger than 1extendibility is incompatible with square; we prove this is close to optimal by showing that 1-extendib...

Indexed Category

The concept of indexing of a category (a part of indexed category, see [14]) is introduced as a pair formed by a many sorted category and a many sorted functor. The indexing of a category C against to [14] is not a functor but it can be treated as a functor from C into some categorial category (see [1]). The goal of the article is to work out the notation necessary to define institutions (see [...

Indexed Regulation

Seminal work by Weitzman (1974) revealed that prices are preferred to quantities when marginal benefits are relatively flat compared to marginal costs. We extend this comparison to indexed policies, where quantities are proportional to an index, such as output. We find that policy preferences hinge on additional parameters describing the first and second moments of the index and the ex post opt...

Indexed Files

A Unified Approach for Indexed and Non-Indexed Spatial Joins

Most spatial join algorithms either assume the existence of a spatial index structure that is traversed during the join process,or solve the problem by sorting, partitioning, or on-the-fly index construction. In this paper, we develop a simple plane-sweeping algorithm that unifies the index-based and non-index based approaches. This algorithm processes indexed as well as non-indexed inputs, ext...